dfa to accept number divisible by 3